КНДР и Южная Корея договорились о формальном завершении войны